Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This textbook, for second- or third-year students of computer science, presents insights, notations, and analogies to help them describe and think about algorithms like an expert, without grinding through lots of formal proof. Solutions to many problems are provided to let students check their progress, while class-tested PowerPoint slides are on the web for anyone running the course. By looking at both the big picture and easy step-by-step methods for developing algorithms, the author guides students around the common pitfalls. He stresses paradigms such as loop invariants and recursion to unify a huge range of algorithms into a few meta-algorithms. The book fosters a deeper understanding of how and why each algorithm works. These insights are presented in a careful and clear way, helping students to think abstractly and preparing them for creating their own innovative ways to solve problems.

Computer science --- 681.3*F2 --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Algorithms --- Invariants --- Loops (Group theory) --- Recursion theory --- Logic, Symbolic and mathematical --- Loop groups --- Group theory --- Algorism --- Algebra --- Arithmetic --- Study and teaching --- Foundations --- Study and teaching.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Law of obligations. Law of contract --- 621.315.3 --- AREI algemeen reglement op de elektrische installaties --- elektrotechniek --- installatiekabels --- isolatiematerialen --- 621.3 --- 621.315 --- 621.315.2 --- Elektrische leidingen --- Elektrotechniek --- Kabels --- kabels, bedrading --- Electrical engineering --- Handbooks, manuals, etc. --- Materials

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer systems --- Computer software --- 681.3*H1 --- 681.3*F4 --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*H1 Models and principles (Information systems) --- Models and principles (Information systems) --- Software verification --- Verification of software --- Verification of computer systems --- Verification. --- Systèmes informatiques --- Vérification --- Verification --- Systèmes informatiques --- Vérification --- Computer science --- Logiciels --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer systems - Verification --- Computer software - Verification

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

From mobile phones to the Internet, our lives depend increasingly on distributed systems linking computers and other devices together in a seamless and transparent way. The fourth edition of this best-selling text continues to provide a comprehensive source of material on the principles and practice of distributed computer systems and the exciting new developments based on them, using a wealth of modern case studies to illustrate their design and development.

681.3*C21 --- 681.3*C24 --- 681.3*D47 --- 681.3*H34 --- 681.3*H34 Systems and software: current awareness systems selective dissemination of information SDI information networks question-answering (fact retrieval) systems (Information storage and retrieval) --- Systems and software: current awareness systems selective dissemination of information SDI information networks question-answering (fact retrieval) systems (Information storage and retrieval) --- 681.3*D47 Organization and design: batch processing systems distributed systems hierarchical design interactive systems real-time systems (Operating systems) --- Organization and design: batch processing systems distributed systems hierarchical design interactive systems real-time systems (Operating systems) --- 681.3*C24 Distributed systems: distributed databases distributed applications networkoperating systems --- Distributed systems: distributed databases distributed applications networkoperating systems --- 681.3*C21 Network architecture and design: networks (centralized, circuit switching, distributed, packet, store and forward) network communications netword topology --- Network architecture and design: networks (centralized, circuit switching, distributed, packet, store and forward) network communications netword topology --- gedistribueerde besturing --- dataprocessing --- gedistribueerde systeemarchitecturen --- data processing --- Network architecture and design: networks (centralized, circuit switching, distributed, packet, store and forward); network communications; netword topology --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*C21 Network architecture and design: networks (centralized, circuit switching, distributed, packet, store and forward); network communications; netword topology --- Electronic data processing --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer networks --- 681.3*H34 Systems and software: current awareness systems; selective dissemination of information; SDI; information networks; question-answering (fact retrieval) systems (Information storage and retrieval) --- Systems and software: current awareness systems; selective dissemination of information; SDI; information networks; question-answering (fact retrieval) systems (Information storage and retrieval) --- 681.3*D47 Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- Distributed processing --- netwerken --- netwerkbeheer --- computerbeveiliging --- Computer architecture. Operating systems --- Distributed processing. --- Computerarchitectuur. Operating systems

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Neural networks (Computer science) --- Pattern recognition systems --- Pattern recognition systems. --- Neurale netwerken. --- Réseaux neuronaux (Informatique) --- Reconnaissance des formes (Informatique) --- 681.3*I26 --- 681.3*I52 --- 681.3*I52 Design methodology: classifier design and evaluation; feature evaluation and selection; pattern analysis (Pattern recognition) --- Design methodology: classifier design and evaluation; feature evaluation and selection; pattern analysis (Pattern recognition) --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Pattern classification systems --- Pattern recognition computers --- Pattern perception --- Computer vision --- Artificial neural networks --- Nets, Neural (Computer science) --- Networks, Neural (Computer science) --- Neural nets (Computer science) --- Artificial intelligence --- Natural computation --- Soft computing --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- #TELE:SISTA --- Neural Networks, Computer. --- Pattern Recognition, Automated. --- Réseaux neuronaux (informatique) --- Reconnaissance des formes (informatique) --- Neural networks (Computer science). --- Experimentele psychologie --- artificial intelligence. --- Artificial intelligence. Robotics. Simulation. Graphics --- RESEAUX NEURONAUX --- ARTIFICIAL INTELLIGENCE --- PATTERN RECOGNITION